" Cristina Sernadas" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series, 35)

Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

Категория: Математика, Прикладная математика

3.91 Mb

#2

Analysis and synthesis of logics: how to cut and paste reasoning systems

Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

5.14 Mb

#3

Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems

Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

5.26 Mb

#4

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic)

Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

6.03 Mb